منابع مشابه
Collapsing Closures
A description in the Jacobs and Langen domain is a set of sharing groups where each sharing group is a set of program variables. The presence of a sharing group in a description indicates that all the variables in the group can be bound to terms that contain a common variable. The expressiveness of the domain, alas, is compromised by its intractability. Not only are descriptions potentially exp...
متن کاملBytecode Closures
This article describes a new project to study the memory performance of three new implementation strategies for closures coined bytecode closures. The project proposes to compare the new implementation strategies to the classical strategy that dynamically allocates flat closures as heap data structures. The new closure representations are based on dynamically creating specialized bytecode inste...
متن کاملLattice closures of polyhedra
Given P ⊂ R, a mixed integer set P I = P ∩ (Z × Rn−t), and a k-tuple of n-dimensional integral vectors (π1, . . . , πk) where the last n− t entries of each vector is zero, we consider the relaxation of P I obtained by taking the convex hull of points x in P for which π 1 x, . . . , π T k x are integral. We then define the k-dimensional lattice closure of P I to be the intersection of all such r...
متن کاملDiscussions and Closures
The writers are congratulated for developing analytical approximations to Einstein integrals herein INT1 and INT2 . It was stated by the writers in their technical note that these algorithms can be incorporated into professional hydraulic software, and the discussers agree on this. However, it is pointed out here that the calculation of INT1 and INT2 can be easily incorporated more directly by ...
متن کاملDiscussions and Closures
The writer presents a parametric study devoted to investigate the behavior of nonprismatic members having T-sections by using three-dimensional ~3D! finite-element models ~FEMs!. Fixed-end moments and stiffness coefficients were computed from the 3DFEMs considering thrust effects. As a result of the parametric study, the writer proposed a practical modeling technique based on two-noded beam ele...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1972
ISSN: 0011-4642,1572-9141
DOI: 10.21136/cmj.1972.101078